struct A{
  int a;
  bool b;
  struct A *c;
};
/*@*/
void f ()
{
  struct A * a;
  a = alloc (struct A);
  return;
}
/*@*/

/*@*/
int main(){
  struct A * a;  
  int i;
  i = 12;
  while (i > 0)
  {
    f ();
    i = i-1;
  }
  return 0;
}
/*@*/
